Relative goodness of EOL forms
نویسندگان
چکیده
منابع مشابه
The goodness of {S, a}-EOL forms is decidable
Decidability problems constitute one of the central topics in formal language theory. In the theory of grammatical similarity, in particular the theory of EOL forms, a lot of decidability questions arise. Some of them are proved to be decidable, e.g., m-completeness for some subclass of EOL forms (see [2] and [3]), simulations of one EOL form by another EOL form (see [6], [7] and [S]), vomplete...
متن کاملPure interpretations of EOL forms
The notion ofanEOLformcombinedwith pure interprétations is studied. Thisapproach is compared and contrasted with the original approach of an EOLform with its interprétations. In particular it is shown there are no pure very complete EOL farms. Résumé. — On étudie la notion déforme EOL avec interprétation pure. Cette approche se distingue de V approche originale d'une f orme EOL avec ses interpr...
متن کاملSynchronized EOL Forms Under Uniform Interpretation
— The aim ofthis paper is thejurther study oj EOLjorms under uniform interprétation. We are naturally led to the considération oj synchronized EOLjorms, which become the central thème of this paper. We prove: a ""strongest"" possible normaljorm resuit, the spanning normalJorm theorem; the non-existence oj uni-generatorsjor "reasonable" language amilies, which include thefinite, regular and cont...
متن کاملThe Epsilon Object Language (EOL)
Model-Driven Development requires model management languages and tools for supporting model operations such as editing, consistency checking, and transformation. At the core of these model management techniques is a set of facilities for model navigation and modification. A subset of the Object Constraint Language can be used for some of these tasks, but it has limitations as a general-purpose ...
متن کاملBinary Forms with Three Different Relative Ranks
Suppose f(x, y) is a binary form of degree d with coefficients in a field K ⊆ C. The K-rank of f is the smallest number of d-th powers of linear forms over K of which f is a K-linear combination. We prove that for d ≥ 5, there always exists a form of degree d with at least three different ranks over various fields. The K-rank of a form f (such as x3y2) may depend on whether -1 is a sum of two s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RAIRO. Informatique théorique
سال: 1978
ISSN: 0399-0540
DOI: 10.1051/ita/1978120402911